3.158 \(\int (c+d x) (a+b \cosh (e+f x)) \, dx\)

Optimal. Leaf size=45 \[ \frac {a (c+d x)^2}{2 d}+\frac {b (c+d x) \sinh (e+f x)}{f}-\frac {b d \cosh (e+f x)}{f^2} \]

[Out]

1/2*a*(d*x+c)^2/d-b*d*cosh(f*x+e)/f^2+b*(d*x+c)*sinh(f*x+e)/f

________________________________________________________________________________________

Rubi [A]  time = 0.05, antiderivative size = 45, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 3, integrand size = 16, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.188, Rules used = {3317, 3296, 2638} \[ \frac {a (c+d x)^2}{2 d}+\frac {b (c+d x) \sinh (e+f x)}{f}-\frac {b d \cosh (e+f x)}{f^2} \]

Antiderivative was successfully verified.

[In]

Int[(c + d*x)*(a + b*Cosh[e + f*x]),x]

[Out]

(a*(c + d*x)^2)/(2*d) - (b*d*Cosh[e + f*x])/f^2 + (b*(c + d*x)*Sinh[e + f*x])/f

Rule 2638

Int[sin[(c_.) + (d_.)*(x_)], x_Symbol] :> -Simp[Cos[c + d*x]/d, x] /; FreeQ[{c, d}, x]

Rule 3296

Int[((c_.) + (d_.)*(x_))^(m_.)*sin[(e_.) + (f_.)*(x_)], x_Symbol] :> -Simp[((c + d*x)^m*Cos[e + f*x])/f, x] +
Dist[(d*m)/f, Int[(c + d*x)^(m - 1)*Cos[e + f*x], x], x] /; FreeQ[{c, d, e, f}, x] && GtQ[m, 0]

Rule 3317

Int[((c_.) + (d_.)*(x_))^(m_.)*((a_) + (b_.)*sin[(e_.) + (f_.)*(x_)])^(n_.), x_Symbol] :> Int[ExpandIntegrand[
(c + d*x)^m, (a + b*Sin[e + f*x])^n, x], x] /; FreeQ[{a, b, c, d, e, f, m}, x] && IGtQ[n, 0] && (EqQ[n, 1] ||
IGtQ[m, 0] || NeQ[a^2 - b^2, 0])

Rubi steps

\begin {align*} \int (c+d x) (a+b \cosh (e+f x)) \, dx &=\int (a (c+d x)+b (c+d x) \cosh (e+f x)) \, dx\\ &=\frac {a (c+d x)^2}{2 d}+b \int (c+d x) \cosh (e+f x) \, dx\\ &=\frac {a (c+d x)^2}{2 d}+\frac {b (c+d x) \sinh (e+f x)}{f}-\frac {(b d) \int \sinh (e+f x) \, dx}{f}\\ &=\frac {a (c+d x)^2}{2 d}-\frac {b d \cosh (e+f x)}{f^2}+\frac {b (c+d x) \sinh (e+f x)}{f}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]  time = 0.12, size = 46, normalized size = 1.02 \[ \frac {f (a f x (2 c+d x)+2 b (c+d x) \sinh (e+f x))-2 b d \cosh (e+f x)}{2 f^2} \]

Antiderivative was successfully verified.

[In]

Integrate[(c + d*x)*(a + b*Cosh[e + f*x]),x]

[Out]

(-2*b*d*Cosh[e + f*x] + f*(a*f*x*(2*c + d*x) + 2*b*(c + d*x)*Sinh[e + f*x]))/(2*f^2)

________________________________________________________________________________________

fricas [A]  time = 0.77, size = 51, normalized size = 1.13 \[ \frac {a d f^{2} x^{2} + 2 \, a c f^{2} x - 2 \, b d \cosh \left (f x + e\right ) + 2 \, {\left (b d f x + b c f\right )} \sinh \left (f x + e\right )}{2 \, f^{2}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((d*x+c)*(a+b*cosh(f*x+e)),x, algorithm="fricas")

[Out]

1/2*(a*d*f^2*x^2 + 2*a*c*f^2*x - 2*b*d*cosh(f*x + e) + 2*(b*d*f*x + b*c*f)*sinh(f*x + e))/f^2

________________________________________________________________________________________

giac [A]  time = 0.12, size = 66, normalized size = 1.47 \[ \frac {1}{2} \, a d x^{2} + a c x + \frac {{\left (b d f x + b c f - b d\right )} e^{\left (f x + e\right )}}{2 \, f^{2}} - \frac {{\left (b d f x + b c f + b d\right )} e^{\left (-f x - e\right )}}{2 \, f^{2}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((d*x+c)*(a+b*cosh(f*x+e)),x, algorithm="giac")

[Out]

1/2*a*d*x^2 + a*c*x + 1/2*(b*d*f*x + b*c*f - b*d)*e^(f*x + e)/f^2 - 1/2*(b*d*f*x + b*c*f + b*d)*e^(-f*x - e)/f
^2

________________________________________________________________________________________

maple [B]  time = 0.05, size = 91, normalized size = 2.02 \[ \frac {\frac {d a \left (f x +e \right )^{2}}{2 f}+\frac {d b \left (\left (f x +e \right ) \sinh \left (f x +e \right )-\cosh \left (f x +e \right )\right )}{f}-\frac {d e a \left (f x +e \right )}{f}-\frac {d e b \sinh \left (f x +e \right )}{f}+c a \left (f x +e \right )+c b \sinh \left (f x +e \right )}{f} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((d*x+c)*(a+b*cosh(f*x+e)),x)

[Out]

1/f*(1/2/f*d*a*(f*x+e)^2+1/f*d*b*((f*x+e)*sinh(f*x+e)-cosh(f*x+e))-d*e/f*a*(f*x+e)-d*e/f*b*sinh(f*x+e)+c*a*(f*
x+e)+c*b*sinh(f*x+e))

________________________________________________________________________________________

maxima [A]  time = 0.35, size = 66, normalized size = 1.47 \[ \frac {1}{2} \, a d x^{2} + a c x + \frac {1}{2} \, b d {\left (\frac {{\left (f x e^{e} - e^{e}\right )} e^{\left (f x\right )}}{f^{2}} - \frac {{\left (f x + 1\right )} e^{\left (-f x - e\right )}}{f^{2}}\right )} + \frac {b c \sinh \left (f x + e\right )}{f} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((d*x+c)*(a+b*cosh(f*x+e)),x, algorithm="maxima")

[Out]

1/2*a*d*x^2 + a*c*x + 1/2*b*d*((f*x*e^e - e^e)*e^(f*x)/f^2 - (f*x + 1)*e^(-f*x - e)/f^2) + b*c*sinh(f*x + e)/f

________________________________________________________________________________________

mupad [B]  time = 0.08, size = 49, normalized size = 1.09 \[ \frac {f\,\left (b\,c\,\mathrm {sinh}\left (e+f\,x\right )+b\,d\,x\,\mathrm {sinh}\left (e+f\,x\right )\right )-b\,d\,\mathrm {cosh}\left (e+f\,x\right )}{f^2}+a\,c\,x+\frac {a\,d\,x^2}{2} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((a + b*cosh(e + f*x))*(c + d*x),x)

[Out]

(f*(b*c*sinh(e + f*x) + b*d*x*sinh(e + f*x)) - b*d*cosh(e + f*x))/f^2 + a*c*x + (a*d*x^2)/2

________________________________________________________________________________________

sympy [A]  time = 0.29, size = 68, normalized size = 1.51 \[ \begin {cases} a c x + \frac {a d x^{2}}{2} + \frac {b c \sinh {\left (e + f x \right )}}{f} + \frac {b d x \sinh {\left (e + f x \right )}}{f} - \frac {b d \cosh {\left (e + f x \right )}}{f^{2}} & \text {for}\: f \neq 0 \\\left (a + b \cosh {\relax (e )}\right ) \left (c x + \frac {d x^{2}}{2}\right ) & \text {otherwise} \end {cases} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((d*x+c)*(a+b*cosh(f*x+e)),x)

[Out]

Piecewise((a*c*x + a*d*x**2/2 + b*c*sinh(e + f*x)/f + b*d*x*sinh(e + f*x)/f - b*d*cosh(e + f*x)/f**2, Ne(f, 0)
), ((a + b*cosh(e))*(c*x + d*x**2/2), True))

________________________________________________________________________________________